diagonal filling theorem

un. 对角线填充定理